Verificare la corretezza formale dei diagrammi IDEF presentati nell'esercizio proponendo eventuali correzioni.